-
1 full conjunctive normal form
normalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
English-Russian base dictionary > full conjunctive normal form
-
2 full conjunctive normal form
Вычислительная техника: совершенная конъюнктивная нормальная формаУниверсальный англо-русский словарь > full conjunctive normal form
-
3 full conjunctive normal form
лог. совершенная конъюнктивная нормальная формаEnglish-Russian dictionary of computer science and programming > full conjunctive normal form
-
4 full conjunctive normal form
English-Russian information technology > full conjunctive normal form
-
5 N full conjunctive normal form
Универсальный англо-русский словарь > N full conjunctive normal form
-
6 form
1) форма || формировать, образовывать2) (экранный) бланк, формуляр4) матем. выражение•- form the instruction- accounting form
- analog form
- analytic form
- archive form
- Backus normal form
- Backus-Naur form
- binary quadratic form
- canonical form
- coding form
- common machine-readable form
- conjuctive normal form
- cut form
- data collection form
- description form
- digital form
- disjunctive normal form
- E form
- elemental form
- entry form
- excess form
- exponent form
- exponent-plus N form
- fanfold forms
- full conjunctive normal form
- full disjunctive normal form
- graphical form
- graphic form
- implicative normal form
- internal form
- irredundant form
- linear form
- machine-processible form
- minterm form
- name form
- nested form
- normal form
- normalized form
- plain-text form
- polyadic form
- prenex form
- quadratic form
- sentencial form
- standard form
- state-space form
- true form
- two-level formEnglish-Russian dictionary of computer science and programming > form
См. также в других словарях:
Disjunctive normal form — In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses. As a normal form, it is useful in automated theorem proving. A logical formula is… … Wikipedia
Canonical form (Boolean algebra) — In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Median graph — The median of three vertices in a median graph In mathematics, and more specifically graph theory, a median graph is an undirected graph in which any three vertices a, b, and c have a unique median: a vertex m(a,b,c) that belongs to shortest… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation … Wikipedia
MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism
Cantillation — is the ritual chanting of readings from the Bible in synagogue services.The chants are rendered in accordance with the special signs or marks printed in the Masoretic text of the Hebrew Bible (or Tanakh) to complement the letters and vowel points … Wikipedia
LINGUISTIC LITERATURE, HEBREW — This article is arranged according to the following outline: introduction foreword the beginning of linguistic literature linguistic literature and its background the development of linguistic literature Foreword: A Well Defined Unit the four… … Encyclopedia of Judaism
Sesotho nouns — Notes: *The orthography used in this and related articles is that of South Africa, not Lesotho. For a discussion of the differences between the two see the notes on Sesotho orthography. *Hovering the mouse cursor over most H:title| [ɪ talɪk] |… … Wikipedia